Remove some likely-to-fail assertions from the nondeterministic test case.