Function check_valid_universal_string 

pub exec fn check_valid_universal_string(bytes: &[u8]) -> valid : bool

ensures

valid == is_valid_universal_string(bytes.deep_view()),

Check a UniversalString contents slice without allocation.