Add ISCAS85 and ISCAS89 benchmarks