Implement docker container for action

[danielsn]

Currently, we install Kani every time, but this takes bandwidth and can be flaky.
Instead, we should prebuild a docker and use that.