Investigate the possibilities to offer more verification possibilities based on additional/other VM flags (apart from PrintIdeal and PrintOptoAssembly). This could also be enabled by providing different annotations to the framework.

Example: @NewVectors -> test VM does matching on -XX:+TraceNewVectors