New version of the SDK! Existing heuristics don't need to be rewritten.

This version is essentially a maintenance release, but to keep its version number in sync with those of our internal tools, it is labeled as version 0.7.0 instead of version 0.6.2.