[9] RFR (S): JDK-8056091: Move compiler/intrinsics/mathexact/sanity/Verifier to compiler/testlibrary and extend its functionality

[Filipp Zhinkin]

Hi all,

please review the fix for JDK-8056091.

The intent of this change is to extend Verifier used by mathexact sanity 
tests
so it will be possible to verify not only exact count of emitted intrinsics,
but alsojust a fact that an intrinsic was emitted.

All tests that use Verifier were updated as well.

This change is required for sanity tests on SHA intrinsics.

Bug id: https://bugs.openjdk.java.net/browse/JDK-8056091
Webrev:http://cr.openjdk.java.net/~fzhinkin/8056091/webrev.00/
Testing: manual, automated using compiler/intrinsics/mathexact/sanity tests.

Thanks,
Filipp.