Implemented CircuitAnalysisModule

[rpanic]

Based on #377

Implemented a module that prints out a summary of all circuits created by a specific appchain instance. The summary currently includes row count (i.e. constraints).

Output for the settlement test:

{
  'RuntimeProgram-0': {
    'Balances.deposit': 383,
    'Balances.mint': 382,
    'Balances.setBalance': 236,
    'Balances.transfer': 707,
    'Balances.transferSigned': 721,
    'Withdrawals.withdraw': 905
  },
  StateTransitionProver: { merge: 0, proveBatch: 10323 },
  BlockProver: { merge: 22, proveBlock: 1359 },
  SettlementContract: { approveBase: 6175, addTokenBridge: 1195, settle: 1345 },
  DispatchContract: { enableTokenDeposits: 8295, updateMessagesHash: 667, deposit: 6586 },
  BridgeContract: { updateStateRoot: 640, rollupOutgoingMessages: 1665, redeem: 1566 },
  // fungible token omitted
}

Todo:

• Add CLI command to print out the summary