Add -verror option for diagnostic test
fix Issue 9562 - Built-in runtime properties should become error with `Type.prop`