(Binary Analysis) More queries on RegisterStateGeneric

Added queries for figuring out what's actually stored in a generic
register state for instruction semantics.