upgrade to sbt 0.12.1, alternate covering impl

- update to 0.12.1 so we can use a plugin for running benchmarks
- coverAtAllCells_LessNaive just gets the covering with the smallest
  cells (i.e. the max level) and then returns it and their parents.