Added isTraversable, isArrayAccess and keyIsset

I added three important assertions that are missing. See the code for details.
@webmozart I am fine with `isTraversable`, how about `isArrayAccessible` for this one however?