stub out verify() function, introduce a failing test of assertion verification