Oracle hypermachines faced with the verification problem