Rename counter -> increment, add test coverage for sequence, improve coverage for pick. Improve formatting for failures thrown by test-adapter/check