Use Yosys bind support for formal tb

[rswarbrick]

This almost gets rid of all the hacks in the design code. Unfortunately, there's still one problem (can't pass unpacked arrays as ports) that we have to work around, but it's much nicer!

This can't be merged at the moment, because upstream Yosys doesn't have bind support yet. But it's proof that it works properly :-)