All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions