- Fixed missalignment in TAS scan messages

- Fixed a counting/driving race in devexec
- Fixed some problems with sanscheck


SKIPPED:
	psi/tasscan.c
	psi/utils/check/amorcheck
	psi/utils/check/dmccheck
	psi/utils/check/focuscheck
	psi/utils/check/hrptcheck
	psi/utils/check/sanscheck
	psi/utils/check/sicssyntaxlib.tcl
	psi/utils/check/topsicheck
	psi/utils/check/tricscheck

motreg.c

@@ -10,7 +10,7 @@
   Mark Koennecke, August 2002
 -----------------------------------------------------------------------*/
 #include <stdlib.h>
-#include <assert.h>
+#include <assert.h> 
 #include "fortify.h"
 #include "motreg.h"