This is an easy memory denial of service attack.
The code is unchanged except for removing an unneeded clippy annotation in proptests.rs.