On sketching approximations for symmetric Boolean CSPs