Pico 3.1: 128-Bit Provable Security, Still Real-Time on 4 GPUs, Now Fully Open Source