test: fail if prove failed