fix memWrite inference problem and update flo backend to at least be close to correct on multiword
merge memWrite inference problem and flo backend updates