Reader: support for synchronized methods

[AndyAyersMS]

See this TODO

[erozenfeld]

#458 adds enough to unblock HelloWorld. We insert lock acquire on entry and lock release on returns. The remaining work is adding try/fault for the entire method so that we can release the lock on unhandled exceptions.

[AndyAyersMS]

@JosephTremoulet maybe this is something you can pick up down the road?

[JosephTremoulet]

Sure