Fix loop1 invariant specs
Only use 3 variables when synthesising loop6's invariant
Have genetic & anneal binaries output a header message
Fix loop2