Implement first part of pruning

_mt_get(), _mt_put(), and _mt_remove() all replaced by multikey and
proof-capable _mt_get_keys() and _mt_put_keys()

Previous unit tests passing; haven't checked any of the pruning code
itself yet.