This was an intentional decision at the time we added Go module support, but it's a significant testing gap, especially as we make changes to both runtimes to improve performance. This should be addressed somehow before the next release (when we actually update https://github.com/dafny-lang/DafnyRuntimeGo).