Update smt_wa.py

[RyderCRD]

The term should be .t_prop instead of .t_proc, according to the paper "Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks". In the frame isolation constraint, [vx, va].d is the propagation delay of link [vx, va].