upgrade to leveldb 1.15
fix #389. Filtering shouldn't stop prematurely
fix #341. Limit the amount of memory taken by query

Remove the setting for shard query buffer size and add logic for max
number of shards to query in parallel.