Merge "binder_recordedTransactionFuzz: Bug Fix" into main