Use Cocotb, preferably with Verilator for Testbenches

[donn]

Cocotb supports both OSS and proprietary simulators. With Quaigh on the scene, ATPG is taking a lot less time, leaving only simulation.