Resolve "hdl: testbench hmq selection bug"

Closes #12 (closed).

There is one more fix regarding RMQ ordering that was discovered with the updated TB.