Engine validation

Mader/Heck implementation correctness checks. All tests should pass before the engine is trusted.