Implement MAYFLY_CHECK and MAYFLY_REQUIRE.