#46 coverage back to 100%, also removed gullibleVerifier which was unused