Found this site a while back claiming x264 compliance testing by Criterion, and Warner BD discs encoded with x264, so if true, I guess not a big surprise that x265 would be used in commercial UHD BDs.
More surprising might be doing the encoding on that Mac they had in the editing bay...