Right now, there are a few different codepaths for setting and getting data out of Lua. We have validations that check if the data is encoded, but there could be some edge cases that are not well tested.
To this end, it would be nice to have a property test that could generate different forms of encoded and decoded values, and also generate different combinations of injected erl_func values via calls to Lua.set!/3 and deflua.
Through this, we could have more confidence in not having any not covered edge cases