redux-rs: update after o1-labs ownership transfer and master update#1356

dannywillems merged 2 commits intodevelopo1-labs/mina-rust:developfrom

dw/use-o1-labs-redux-rso1-labs/mina-rust:dw/use-o1-labs-redux-rsCopy head branch name to clipboard