v.0.5.2

• removed verification for single-instance library verification as unnecessary;
• updated tests and documentation.
• introduced tests for the database, but didn't finish (commented out);