[verifier] Do method visibility checks for virtual final methods. Enable type visibil...