Make InstrumentHandler receive a Registry

Before making Registry public, the InstrumentXXX functions were
accessing the global default registry. We now inject the Registry that
we want to work with.