Solidity re-compiler that can be used to verify that bytecode corresponds to certain source code - View it on GitHub