Add spec runner for testing marcframe revert