Well I guess we can leave it as is for performance reasons, but then we should add an entry to "U++ traps and pitfalls". This behavior should be documented somewhere, made very clear especially for pointers. Using pointers in Vector is not that common, so when you start using them it can be a nasty surprise that the values are not null checkable.
I do not know. If you do not initialize variable, you can consider it unitialized. If you do not initialize struct members, ditto.
What is surprising on At behaviour? Especially if it has another "init" method variant.