Refactor javadoc to use new MrDocs features
This commit includes tests for shared `recycled_ptr`s. Unreachable paths are also marked. This is the last in a series of commits that intend to fix #828, where `recycled_ptr` had low coverage. fix #828