add timeout tests; fix bug in scheduler.py (#7)