remove unicode from comments
remove unicode from comments

The latest cryptol/saw pre-compiled releases do not allow unicode, so remove the
unicode to get it to work against the current cryptol/saw release.

spaceships/circuit-synthesis,spaceships/circuit-synthesis,spaceships/circuit-synthesis