This check is covered by the exception raised by ```constant_time.bytes_eq``` isn't it?