Generate regex-constrained strings for SmallCheck