This is done in SPARC and ARM MacroAssemblers, and should be done in x86 too. This should greatly improve the error reports, as it would point to exact place where the verification happened, e.g. in interpreter/stub generation code.

For example:
 https://cr.openjdk.java.net/~shade/8239492/webrev.01/