Cleanup and incidental changes

[Dekker1]

• Change the testing infrastructure to Cadical + expect-test
• Add more clippy checks, adding fixes for the enabled lints
• Remove the use of use super
• Remove the cached dependency.
• Update GitHub actions to include test coverage and dependabot

[codecov]

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️