proper exceptions and tests around stack mismatches
restoring decent debug information to verification exceptions
Improving error messages, current failing test points to bug in incoming verification