Store Donna version in the session state, fail loading state on version mismatch

[Tiendil]

Donna evolves fast; there are breaking changes between versions.

We should correctly track the situation when Donna can unexpectedly break and suggest the user start a new session.