Added OmopHarness for benchmarking

This allows to compare enforced and unenforced mode on the standard domain.

Signed-off-by: Stefan Marr <git@stefan-marr.de>