style: format with tidy

Every file but the test cases now has tidy's default style: two-space
indents and a width of 80. The bench results only gain padded tables,
which their generator now writes itself.