Enable KUD tests in both bmh and vm verifiers