* document symcc_runtime
* rename serialization format expressions to be more concise
* authorship notes
* document dump_constraints
* document smoke test
* tests for serialization format and refactoring
* remove unused bswap message
* remove obselete SymExpr::End
* document and refactor serialization format
* fmt
* more missing docs
* typos
* clippy
