Added an assertion for the value of a signal at a specific time.
Added a version number