Make formal equality tests
Improvements to merge benchmarking