LIBERO-Para: A Diagnostic Benchmark and Metrics for Paraphrase Robustness in VLA Models - Databubble