Convert vm test to checker

Tests are skipped due to reliance on deprecated mutan