explores different restorer sizes when obtaining failed and negative delays
accepts finfets params even when using bulk, also now takes an additional finfet model paths and library
flushes stdout buffer, makes it much easier to know what's going on when redirecting to a file