boltzgen

Generate tests using boltzman sampling