Update to Agda 2.3.2.2

Also constraint websocket < 0.8