Contract physics simulator would be a huge boon. I know smart contracts are supposedly to take us some small steps along that path, but the real value is in being able to visualize and perform such mappings in existing contracts.