Add codegen test for nullness
Alloca type level parameter

An alloca instruction's value is actually a pointer to the value, so we now
generate a "type level" of 1 instead of 0 for these.
Level checks in hasAnnotation()

By default, we look for the annotation at the zero-level (meaning that the
value itself is qualified).