Added VERY_HIGH to VerificationLevel (aka Double-Table-Flip?) (#371)* Added VERY_HIGH to VerificationLevel (aka Double-Table-Flip?) (commit: 847ed92)