renameProperty method
Renames a property during a migration.
Implementation
void renameProperty(String className, String oldPropertyName, String newPropertyName) {
newRealm.handle.renameProperty(className, oldPropertyName, newPropertyName, _schema);
}