[charted-client] work on codegen (not finished), add Miri testing in …

[charted-client] work on codegen (not finished), add Miri testing in … #5377