Updated cucumber tests to add kerodon test and macros that check the
success of the kerodon tests.