* Move all code related to smart contracts into lib smart_contract * Can start the prover with mocked smart contract * Add KarmaTier integration * Filter & validate initial tier limits