Add main for easier testing
Add strictness and inlining
Use assert instead
Use hardware quot

Also we know that we won't be dividing by zero, make sure no division by
zero checks are made.
Misc clean up
Move stuff around