need at least minimal checking on DFASLs and LCOMs

[masinter]

Occasionally, errors pop up. IT would be good to verify (in GITFNS) that

• THe compiled file was compiled from the source file.
• • The compiled file is complete (ends in a STOP ?)

other checks would be better, but might await our "recompile everything" strategy.