Product Martingales and Stopping Lines for Branching Brownian Motion