Fixade kompileringsfelen och la till en verifierare