First version of testbench with automatic validation. This resolves #25.