Make coherence test run for a bounded number of iterations.
Make it run in verilator
Clean up core selection a bit