New atomic shifts

New version of atomic WP that doesn't require any laters.

Also includes the previous PR that updates the Rust version and brings the old pcas_spec up to date (hopefully, the new one fulfills the same intent).