Instrument BTCD using the information in the docs folder concerning BTCD invariants and where they are located in BTCD.