Interactive proof languages already work that way, to a greater or lesser extent.

But, for general-purpose languages, this revictimizes the docker addicts.