Add manual_seed in script (#19510)
Summary:
Add manual_seed to torch script.
Pull Request resolved: https://github.com/pytorch/pytorch/pull/19510
Reviewed By: suo, driazati
Differential Revision: D15018823
Pulled By: eellison
fbshipit-source-id: d7734a8ad05ba254c0d88abf3fb58c4ce6a4e53b