pub fn spec_id_by_arbos_version(arbos_version: u64) -> SpecId
Map ArbOS version to the appropriate SpecId.