(Binary Analysis) Semantics test takes command-line args

* --trace turns on tracing of RISC operators (vs. --no-trace)

* --usedef turns on use-def calculations (vs. --no-usedef)
(SQLite3) Removed call to sqlite3_enable_load_extensions
(SQLite3) Don't load ROSE's extensions if unable
(Binary Analysis) Improved readability of semantic test outputs
(Binary Analysis) Added use-def unit tests
(Binary Analysis) Turned off usedef for the tracing test

This tests that usedef can be turned off and makes the
test output easier to read (tracing and usedef can be a
bit verbose).