Use qemu read_counter branch; add test targets.
Use ctest --verbose to see the output.