Add more tests for asynchronous case statement synthesis.