Add record generator

Amended version of https://github.com/phadej/jsverify/pull/21