Institutional crypto trading via order book, RFQ and blocks, plus options, prime and multi-rail settlement - orchestrated by Atlas Rails and auditable AI