Fix spelling of SMTLIB2 sign_extend operator

(underscore not hyphen)
Special case recognition of tables that are GF(2) linear

Also, add some more line breaks in the -trace-tables output