added min-delay-verbose to control timing diagnostic for debug
2-input NAND test cases on min-delay constraints