NOBUG: Adding method overload for verify to handle existing code that doesn't specify a function mapper, should just use the default one