Add and update rewards to open challenges lacking one#459

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

tautschnig:add-rewardstautschnig/verify-rust-std:add-rewardsCopy head branch name to clipboard