README: shorter hook

README: lead with what makes TinyDecide different

Python, Rust and ESP32 engines, shared conformance set, promo video

Fix extract highlight position

TinyDecide release