Assumptions: is_zero: add XFAIL test for issue #7993

This was part of #7960 which was superceded, don't want it to go missing.