Empowering diffyscan with a bytecode verification