proptest: bound enum sizes to 5 values.