Local Decision and Verification with Bounded-Size Outputs