Fix code coverage && add fmt download

Слиты Чернявских Илья Игоревич запросил слияние readGraphFromVerilog в main