Extracted from ticket # 40443.
...properties don't get serialized so if you compile the program to a
PBC and run that it doesn't work.
I suspect that originally it was expected that properties would only be
attached at runtime. But, since we have the option of flagging subs to
execute at various stages of compilation, it seems safe to assume that
properties can be attached at various stages of compilation too.