A new version of PALISADE was just released yesterday. It supports the current major HE schemes (BFV/FV, BGV/BV, etc...) along with modules for different kinds of Gaussian sampling, and lattice crypto building blocks.
Maybe we post again after Xmas to see if we can get some experts in the field ...
That's a good point - I'll make another post in another week or so.