Remove bug #1010 from smoke test.
Remove bug #1010 from smoke test.

The bug has been fixed in one of recent PRs.

Closes #1010

chipsalliance/verible,chipsalliance/verible,chipsalliance/verible,chipsalliance/verible,chipsalliance/verible