pub fn is_valid_utf8(str: Expr) -> Expr
Returns true if str is a valid UTF-8 string, otherwise returns false