rename to sanity.bin
update options
add support for syntax dump skipping