Add pre & post conditions to the interface & remove the `senderAddress` param from event

[satyamakgec]

I removed the senderAddress param from the event declaration because there is no way to know the sender address as per the current API params so it is better to remove it instead making it difficult to get the value of it.