Separate simulation code from synthesis code
Separate simulation code from synthesis code

Aesthetic changes mostly. Now synthesis self-checks are in their own
always-block.

kulp/tenyr,kulp/tenyr,kulp/tenyr