Configurable scripting engine + constructor support

- You can now change the scripting engine via AdbcConfig
- Pre-post conditions + invariants are checked at constructors
(No support yet for advice who advise constructors though)