Merge "Formalize BlockedNumberContract.SystemContract APIs" into main