Replacing Manual Verification with Gold Master Tests