P4
I got some additional feedback on 8256508: "Improve CompileCommand flag" from Claes.
1) The _type field in TypedMethodMatcher is not used any more. It is derived from the option.
2) The verify_type argument is only used from whitebox API and the check should be pushed out to that code. The check is needed because the option is passed from java as a String and we need to verify that the value type matches the option type.
3) The type parameter to TypedMethodMatcher::match isn't used.
4) Some code only used for asserts was moved into assert
1) The _type field in TypedMethodMatcher is not used any more. It is derived from the option.
2) The verify_type argument is only used from whitebox API and the check should be pushed out to that code. The check is needed because the option is passed from java as a String and we need to verify that the value type matches the option type.
3) The type parameter to TypedMethodMatcher::match isn't used.
4) Some code only used for asserts was moved into assert
