Counting and Generating Terms in the Binary Lambda Calculus (Extended Version)