Fix some formatters + add testing + add better david-dm.org + change readme... etc.