Address simple syntactical review comments.
Use correct borrow method for JSManaged, and make inner pointer private.
Add with_gc_enabled and document invariants of JSTracer-based encoder.
Clean up dense Document code,