Portable, Efficient, And Practical Library-Level Choreographic Programming