[bugfix] Do not treat the read_variables field of CInstruction as pymbolic

It is expected to be an iterable of strings. Trying to build keys from it
as if it was pymbolic results in raw strings ending up in the pymbolic mappers
(being foreign objects).