Detect falling edge on RX line and validate start bit. Acceptance Criteria: Ignore noise glitches Sample at mid-bit Assert rx_start_detected