Fred, all
As of April 11, the z390 main repository has fix to correctly handle assembly of && in SETC statements along with new regression tests.
You can download sources and build jar with command bat\bldjar.bat on Windows or bash\bldjar on Linux here:
https://github.com/z390development/z390
The current version also has a number of other fixes targeted for z390 release v1.8.01 including the 4 new multiply instructions added with z15. Now we are waiting to see what other new instructions have been added with z16.
.