testbench: add benchmark for ExchangeRegisters

Turns out that the "check_thread_module()" asserts are hilariously expensive:
without NDEBUG the benchmark reads 17k cycles per call, and below 700 with.
doc: add note about benchmark execution