script to generate full verification suite