Add a table to document spike behaviors when encounter reserved situations.

[skyhgzsh]

In spec there are many situations which is regarded as 'reserved'. When using spike as REF in difftest, those corner case often cause behavior mismatch, especially for exception generation. Documenting how reserved situation is handled may benefit user when debugging designs.