* remove `write_edif` and `write_blif` options * remove redundant `abc` call before muxcover * update style