go get fails with SECURITY ERROR for v4

[ShubhamChaturvedi7]

Go get fails to download the dependency.

go get  github.com/dafny-lang/DafnyRuntimeGo/v4    
go: downloading github.com/dafny-lang/DafnyRuntimeGo/v4 v4.7.0
go: github.com/dafny-lang/DafnyRuntimeGo/[email protected]: verifying module: checksum mismatch
        downloaded: h1:KmvAzhE8UDDSW22pntVGTFtErhFe27xdTdRz3qWajQk=
        sum.golang.org: h1:NeCXJa+Uyw1nLh8sWZcr2GPobEGLUqoZEG4vu9YKqVc=

SECURITY ERROR
This download does NOT match the one reported by the checksum server.
The bits may have been replaced on the origin server, or an attacker may
have intercepted the download attempt.

For more information, see 'go help module-auth'.

[robin-aws]

Suspect we moved the v4.7.0 tag which would have caused this. Fixed by pushing a fresh v4.8.0 tag, and dafny-lang/dafny#5826 confirms the runtime works in an integration test now.