fix isAlways to work with better bool support

this probably needs improvement still, no matrices for one thing, warning added
overly pessimistic warning from taylor
fix lots of tests for sym(bool) experiments, mostly == to isequal

also, enable tests which were waiting on conj() support, since added
inequality with nan: return sym bools, consistent with other code
update eq.m tests: most should not depend on sym bool versus octave bool output now
minor: format tests differently
set logical to fail on symbols (like SMT), update any/all to use logical
update the failing tests, some marked as should pass now, some of these are just unreasonable and commented out for now

still two flagged up with xtest