README.md: Sync rewards#515

feliperodri merged 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

btj:README-sync-rewardsbtj/verify-rust-std:README-sync-rewardsCopy head branch name to clipboard