timing simulation spikes

Your right, it's the asynchronous outval latch that causes the glitches. Adding outval <= '0';

to s7 decoding removes them.