MacaroonsVerifier explicitly declares exceptions and supports assert??? and is??? programming style