Add Debug Transforms and VerilogCompiler to testing

These debug transforms modify the default transforms to include additional
checking passes to detect things like invalid types inserted by passes.
This commit augments the current suite of tests to detect #169 and the like.