Here\'s the code:
AVAssetExportSession *exporter = [[AVAssetExportSession alloc] initWithAsset:mixComposition presetName:AVAssetExportPresetHighestQuality];
Turns out that if AVMutableVideoComposition's render size width isn't an even number, you get the mysterious green borders. Good times.