Update build command in docs to use release mode#3846

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:build-releasezhassan-aws/kani:build-releaseCopy head branch name to clipboard