Does `verify_invocation_order` return true or false only (as opposed to raising an error if the order is wrong?).  If so, it would be nice to change the method name to boolean predicate with a question mark.  Haven't thought of a good name yet, though.