Add some extra test configurations (greenthread thread-patched vs not patched).