solidity: Disable Z3 build in dockerfile (#3831)
solidity: Disable Z3 build in dockerfile (#3831)


robertswiecki/oss-fuzz,googlefonts/oss-fuzz,robertswiecki/oss-fuzz,google/oss-fuzz,robertswiecki/oss-fuzz,skia-dev/oss-fuzz,robertswiecki/oss-fuzz,skia-dev/oss-fuzz,google/oss-fuzz,googlefonts/oss-fuzz,FeliciaLim/oss-fuzz,googlefonts/oss-fuzz,google/oss-fuzz,skia-dev/oss-fuzz,robertswiecki/oss-fuzz,googlefonts/oss-fuzz,googlefonts/oss-fuzz,skia-dev/oss-fuzz,FeliciaLim/oss-fuzz,FeliciaLim/oss-fuzz,googlefonts/oss-fuzz,skia-dev/oss-fuzz,FeliciaLim/oss-fuzz,skia-dev/oss-fuzz,google/oss-fuzz,robertswiecki/oss-fuzz,googlefonts/oss-fuzz,robertswiecki/oss-fuzz,robertswiecki/oss-fuzz,skia-dev/oss-fuzz,google/oss-fuzz,googlefonts/oss-fuzz,google/oss-fuzz,google/oss-fuzz,google/oss-fuzz,skia-dev/oss-fuzz,google/oss-fuzz,googlefonts/oss-fuzz,skia-dev/oss-fuzz,skia-dev/oss-fuzz,skia-dev/oss-fuzz,FeliciaLim/oss-fuzz,google/oss-fuzz,google/oss-fuzz,robertswiecki/oss-fuzz,googlefonts/oss-fuzz,robertswiecki/oss-fuzz,robertswiecki/oss-fuzz