Add more documentation in README; add dump-tso; update scripts