Testing setup: use z3c.autoinclude properly, including overrides.
Update test dependencies.