sannprófun í binolla