Using `JSON.stringify`/`JSON.parse` to avoid Flash serialization woes

Fixes #373.

Also sets up well for tackling #143 and #152.

Also officially raised the minimum Flash Player version supported from 10.0.0 up to 11.0.0.