Optional extra checks of "modified" schema after pull/push #162

For troubleshooting, it may be useful to have an option that would do an extra sanity check after each pull/push - it would verify that:

• comparing geopackage at the latest version and the "modified" schema gives no changes
• comparing "modified" schema and "base" schema gives no changes