Currently, a lot of intrinsics with @IntrinsicCandidate are performing bound checks that is better performed outside of intrinsics, or by other methods that calls dedicated intrinsics. Such best practices of IntrinsicCandidate, of minimizing the hand-rolled section, should be mentioned; also the current documentation is way too long, so that people might skip important details as a result. We should make it more concise and helpful.