Print precise location within blocks

[elazarg]

Add the location within a basic block of the offending assertion. For example "3.4" instead of "3".

There's an issue with the yaml tests, since the assertions are not visible so it's not obvious to the reader what is the correct line. I think we should add the assertions as parts of the yaml code, as comments preceding each instruction.

[coveralls]

coverage: 90.443% (+0.01%) from 90.431% when pulling cc55e3eab7e63a9ea1d23d430ad83e7c027d36c7 on location into cd399bb487e8cdbd718a0acc9409953b1fec1711 on main.

[coveralls]

coverage: 90.423% (+0.01%) from 90.409% when pulling 2045f08ac7cefb0559a63fc38d12adef0a943459 on location into 525b8b3b2102f641df40a31e8553f00c1c28efc6 on main.

[elazarg]

Outdated