add 'safe submodule; change internal lists to vectors
update docs for safe mode
Merge pull request #1 from mbutterick/dev-fast

Create fast mode (without contracts) + safe mode (with); convert lists to vectors