Sleipnir: Bringing constraints and randomization to software defined data types