Remove undefined behavior in value method of boolean and primitive arrays

[Dandandan]

Is your feature request related to a problem or challenge? Please describe what you are trying to do.
As they OOB check uses debug_assert instead of assert, the check is not there in release mode.
We should use assert! instead.

Describe the solution you'd like
We should use assert! instead. In places where value is used directly and can be converted to use the unchecked variant, we can do so.

Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.

Additional context
Add any other context or screenshots about the feature request here.