add two fuzz testcases related to stack coloring