RFC: use @assert instead of custom assertion

[Roger-luo]

@assert can be optimized out by compiler and can be disabled in the future:

JuliaLang/julia#25576

we can change methods like assert_addr_inbounds to is_addrs_inbounds and use an @assert

Update:

Unfortunately, it is not optimized out yet. But there would be options for this. I'll keep the original for now. But I'll just leave this issue open to remind us.