Add generate.rkt to recursively generate all Fulmar files in a directory

Also, move the internal defines of verify.rkt to private/generate.rkt for use in generate.rkt.
Change (spaces) to space to better reflect its functionality