#3914 Implement invariant benchmarks and add target to makefile.