Formal verification

[jkiv]

Implement formal verification techniques on modules.

[jkiv]

Also move testing over to formal verification, rather than #1 clk = ~clk and $display calls.