[Bug-Candidate]: Sender with zero balance can call the fuzzing harness with msg.value being non-zero

[rappie]

Describe the issue:

Sender with zero balance can call the fuzzing harness with msg.value being non-zero

Code example to reproduce the issue:

Repro: https://github.com/rappie/echidna-sender-bug-repro

Version:

master

Relevant log output:

checkSenderBalance(): failed!💥
  Call sequence:
    SenderBalance.checkSenderBalance() Value: 0xd766e4f69b27688c

Traces:
emit Log(senderBalanceAtDeploy=0, senderBalanceNow=0, sender=0x0000000000000000000000000000000000010000, msgValue=15521344913595132044)