Add basic performance benchmark.
Fix bugs in symbolic assembler and add tests.