model: only print 'Total nodes' for verbose printing

Average users don't need to see this.
README.md: reporting multiple data races for the same access?
README.md: add End of Execution Summary section