SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants