Adds lock-based SLib database, for the purpose of verification. Fixes performance bug - sum of bucket sizes per insert, using a local max load factor for one bucket.