Fuzzinator: Random Testing Framework