You could make a tweet a watt (option2). Alternatively, you could use a clamp on current sensor - as discussed on the Raspberry Pi forums (option 3)
There are a couple of alternatives that you may not have thought about:
- If the washer has an LED you can monitor that,
- depending on how loud the ambient noise level is you could use a microphone,
- you could attach a piezo disk/vibration sensor, or
- simplest of all set the Pi up as a timer that you set when starting the washer.