Add vprint_debug to show what requirements are being compared
Land #2975 @wchen-r7's extra vprint_debug statements for ms13-090