Fixup merge resolution: Add and update rewards to open challenges lacking one#502

tautschnig wants to merge 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

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