Try to fix broken proof

Bump setup-dafny-action in all jobs

Try adding a timeLimitMultiplier

Fix compilation

Update for Dafny 4.8 compatibility

Update AWS instructions for Lunar

Update dependencies in aws setup

Merge pull request #3 from mit-pdos/dafny-4

ci: run checkout first so go caching works

Add a Dafny project file

Update README with new version numbers

Attempt to make byte_fs proof more robust

Re-run dafny format

Fix dirent proof

Use new CLI for Go translation