[core] Add lock::observing module, for analyzing lock acquisition.

[core] Add lock::observing module, for analyzing lock acquisition. #807