When using Manticore, it's often a major hassle to replicate the EVM testing environment. We should allow Manticore to connect to a live EVM node corresponding to a testnet so that setting up contracts for exploration will be much easier.